Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
231	Common Logic in Support of Metadata and Ontologies Outline • Common Logic Add to Reading List Source URL: cl.tamu.edu Language: English - Date: 2005-04-14 11:03:14 Predicate logic Knowledge representation Model theory Semantics Formal languages Common logic Conceptual graph First-order logic Knowledge Interchange Format Logic Science Mathematical logic
232	A Formal Approach to Vague Expressions with Indexicals Liesbeth Martens and Giuseppe Primiero? Centre for Logic and Philosophy of Science, Ghent University, Belgium {Liesbeth.Martens, Giuseppe.Primiero}@UGent.be Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-11-22 11:12:55 Semantics Fuzzy logic Propositional calculus Philosophy of language Non-classical logic Indexicality Vagueness Sorites paradox Entailment Logic Mathematical logic Mathematics
233	Tobias Nipkow Gerwin Klein C Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:15 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic
234	Formal Verification of a C Compiler Front-end Sandrine Blazy, Zaynah Dargaye, and Xavier Leroy INRIA Rocquencourt[removed]Le Chesnay, France {Sandrine.Blazy, Zaynah.Dargaye, Xavier.Leroy}@inria.fr Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-05-16 04:47:55 Procedural programming languages Data types C++ Logic in computer science Programming language semantics Pointer C ALGOL 68 Monad Software engineering Computing Programming language theory
235	Tobias Nipkow, Gerwin Klein Concrete Semantics with Isabelle/HOL April 8, 2015 Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:05 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic
236	Mechanized Verification of CPS Transformations Zaynah Dargaye and Xavier Leroy INRIA Paris-Rocquencourt B.P. 105, 78153 Le Chesnay, France [removed], [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-07-30 10:00:27 Mathematical logic Models of computation Logic in computer science Computability theory Formal methods Continuation-passing style Denotational semantics De Bruijn notation De Bruijn index Theoretical computer science Lambda calculus Mathematics
237	Design of a Hypermedia Interface Translating between Associative and Formal Representations Francis HEYLIGHEN* PESP, Free University of Brussels, Pleinlaan 2, B-1050 Brussels, Belgium ABSTRACT. It is argued that in orde Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:20 Cognitive architecture User interface Semantics Usability C dynamic memory allocation Cognition Computing Adaptive educational hypermedia Adaptive hypermedia Human–computer interaction Software ACT-R
238	The Semantics of Untrustworthiness Giuseppe Primiero & Laszlo Kosolosky Centre for Logic and Philosophy of Science Ghent University, Belgium Abstract We offer a formal treatment of the semantics of both complete and Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-04-26 09:39:32 Information Philosophical logic Mathematical logic Model theory Communication Modal logic Finitary relation Code Interpretation Logic Data transmission Science
239	Combined Distributional and Logical Semantics Mark Steedman School of Informatics University of Edinburgh Edinburgh, EH8 9AB, UK [removed] Add to Reading List Source URL: www.transacl.org Language: English - Date: 2013-05-31 13:47:42 Semantics Predicate logic Formal languages Grammar Model theory Predicate First-order logic Combinatory categorial grammar Interpretation Logic Linguistics Mathematical logic
240	A Type System for Expressive Security Policies∗ David Walker Cornell University Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-06-07 14:58:01 Logic Mathematics Semantics Models of computation Formal languages First-order logic Type safety Predicate Functional predicate Automata theory Model theory Mathematical logic

UPDATE